type X = {-():T}
